<html>
<head><meta charset="utf-8"><title>weekly meeting August 7 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html">weekly meeting August 7</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="131064383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064383">(Aug 07 2018 at 19:33)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span> <span class="emoji emoji-1f353" title="strawberry">:strawberry:</span> <span class="emoji emoji-1f31e" title="sun face">:sun_face:</span></p>



<a name="131064389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064389">(Aug 07 2018 at 19:33)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="131064464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064464">(Aug 07 2018 at 19:34)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AJkjz_dTNTb55YN7UGjNKoh4Ag-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AJkjz_dTNTb55YN7UGjNKoh4Ag-Em2cJrvxQMMFWLE7lE5Be">dropbox paper status document is here</a></p>



<a name="131064506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064506">(Aug 07 2018 at 19:35)</a>:</h4>
<p>(<span class="user-mention" data-user-id="*">@everyone</span> meeting time)</p>



<a name="131064578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064578">(Aug 07 2018 at 19:37)</a>:</h4>
<p>is is just <span class="user-mention" data-user-id="116107">@davidtwco</span> and I? :)</p>



<a name="131064584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064584">(Aug 07 2018 at 19:37)</a>:</h4>
<p>It's looking that way.</p>



<a name="131064631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064631">(Aug 07 2018 at 19:38)</a>:</h4>
<p>ok...</p>



<a name="131064644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064644">(Aug 07 2018 at 19:38)</a>:</h4>
<p>well, as I was writing in the paper:</p>



<a name="131064647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064647">(Aug 07 2018 at 19:38)</a>:</h4>
<p>it seems like we basically "finished" our Edition Preview 2 work</p>



<a name="131064649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064649">(Aug 07 2018 at 19:38)</a>:</h4>
<p>which is awesome!</p>



<a name="131064656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064656">(Aug 07 2018 at 19:38)</a>:</h4>
<p>I can't remember the last time that I managed to complete all the issues for a milestone without knocking a bunch to the next milestone in the last minute ;)</p>



<a name="131064669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064669">(Aug 07 2018 at 19:39)</a>:</h4>
<p>I've been looking at the Release Candidate milestone and thinking about the focus there</p>



<a name="131064680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064680">(Aug 07 2018 at 19:39)</a>:</h4>
<p>my sense is that priority <a href="https://github.com/rust-lang/rust/issues/1" target="_blank" title="https://github.com/rust-lang/rust/issues/1">#1</a> should be correctness — in particular finishing off all regressions from last crater run that we plan to finish off</p>



<a name="131064683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064683">(Aug 07 2018 at 19:39)</a>:</h4>
<p>in my ideal world, we'd have the compiler start bootstrapping with NLL as well</p>



<a name="131064726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064726">(Aug 07 2018 at 19:40)</a>:</h4>
<p>(which may mean that we want to do some performance investigation)</p>



<a name="131064730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064730">(Aug 07 2018 at 19:40)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+RC%22" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+RC%22">release candidate issues</a>.</p>



<a name="131064739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064739">(Aug 07 2018 at 19:40)</a>:</h4>
<p>I went through all of the crater run results that <span class="user-mention" data-user-id="116113">@lqd</span> had posted</p>



<a name="131064740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064740">(Aug 07 2018 at 19:40)</a>:</h4>
<p>I found some problems</p>



<a name="131064743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064743">(Aug 07 2018 at 19:40)</a>:</h4>
<p>I filed issues for them :)</p>



<a name="131064751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064751">(Aug 07 2018 at 19:40)</a>:</h4>
<p>there aren't many, is the good news</p>



<a name="131064752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064752">(Aug 07 2018 at 19:40)</a>:</h4>
<p>a lot of stuff was fixed</p>



<a name="131064757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064757">(Aug 07 2018 at 19:40)</a>:</h4>
<p>when I retested it</p>



<a name="131064841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064841">(Aug 07 2018 at 19:42)</a>:</h4>
<p>there is one case that I do not yet know how to fix though :/</p>



<a name="131064845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064845">(Aug 07 2018 at 19:42)</a>:</h4>
<p>but it seems to be relatively minor</p>



<a name="131064853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064853">(Aug 07 2018 at 19:42)</a>:</h4>
<p>oh through both « reports » ?</p>



<a name="131064858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064858">(Aug 07 2018 at 19:42)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/rust/issues/53121" target="_blank" title="https://github.com/rust-lang/rust/issues/53121">#53121</a>)</p>



<a name="131064862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064862">(Aug 07 2018 at 19:42)</a>:</h4>
<p>hmm <span class="user-mention" data-user-id="116113">@lqd</span> maybe I didn't go through everything :)</p>



<a name="131064864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064864">(Aug 07 2018 at 19:42)</a>:</h4>
<p>did you see the repo I made?</p>



<a name="131064867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064867">(Aug 07 2018 at 19:42)</a>:</h4>
<p>it is here <a href="https://github.com/nikomatsakis/nll-crater-run-results" target="_blank" title="https://github.com/nikomatsakis/nll-crater-run-results">https://github.com/nikomatsakis/nll-crater-run-results</a></p>



<a name="131064886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064886">(Aug 07 2018 at 19:43)</a>:</h4>
<p>maybe I only went through the second one or something though and should double check the results from the first...</p>



<a name="131064888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064888">(Aug 07 2018 at 19:43)</a>:</h4>
<p>I started with some hackmd link you posted to me</p>



<a name="131064895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064895">(Aug 07 2018 at 19:43)</a>:</h4>
<p><a href="https://github.com/nikomatsakis/nll-crater-run-results/blob/master/lqd-notes.md" target="_blank" title="https://github.com/nikomatsakis/nll-crater-run-results/blob/master/lqd-notes.md">https://github.com/nikomatsakis/nll-crater-run-results/blob/master/lqd-notes.md</a> was the text of it</p>



<a name="131064898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064898">(Aug 07 2018 at 19:43)</a>:</h4>
<p>I should have noted the link too :)</p>



<a name="131064901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064901">(Aug 07 2018 at 19:43)</a>:</h4>
<p>I did see it (on my phone rn) I think we might need to go through the 1st one (crates’ dependencies)</p>



<a name="131064941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064941">(Aug 07 2018 at 19:44)</a>:</h4>
<p>(Just to be sure)</p>



<a name="131064958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064958">(Aug 07 2018 at 19:44)</a>:</h4>
<p>seems like it would be worth re-running the results in any case</p>



<a name="131064960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064960">(Aug 07 2018 at 19:44)</a>:</h4>
<p>since this was only root regressions etc</p>



<a name="131064963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064963">(Aug 07 2018 at 19:44)</a>:</h4>
<p>and apparently it only takes 24 hours?</p>



<a name="131064966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064966">(Aug 07 2018 at 19:44)</a>:</h4>
<p>since I think we just need — at least for now — a <code>cargo check</code>  run</p>



<a name="131064971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064971">(Aug 07 2018 at 19:45)</a>:</h4>
<p>I was debating if we should wait until we fixed the known regressions</p>



<a name="131064983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064983">(Aug 07 2018 at 19:45)</a>:</h4>
<blockquote>
<p>I did see it (on my phone rn) I think we might need to go through the 1st one (crates’ dependencies)</p>
</blockquote>
<p>what does "crates' dependencies" mean?</p>



<a name="131064987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131064987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131064987">(Aug 07 2018 at 19:45)</a>:</h4>
<p>oh for sure, I was thinking the same while you were on PTO; quick turnover now for the results :)</p>



<a name="131065033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065033">(Aug 07 2018 at 19:46)</a>:</h4>
<p>errors which were not actionable cause they were in deps so I mInImIzed those instead of the crates</p>



<a name="131065086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065086">(Aug 07 2018 at 19:47)</a>:</h4>
<p>ok</p>



<a name="131065102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065102">(Aug 07 2018 at 19:47)</a>:</h4>
<p>ok so I will file an issue for another crater run</p>



<a name="131065106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065106">(Aug 07 2018 at 19:47)</a>:</h4>
<p>maybe we should Just Do It</p>



<a name="131065107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065107">(Aug 07 2018 at 19:47)</a>:</h4>
<p>(ie these crates didn’t build)</p>



<a name="131065160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065160">(Aug 07 2018 at 19:48)</a>:</h4>
<p>I have some code stashed to filter through some of those (based on simulacrum’s code) if need be</p>



<a name="131065198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065198">(Aug 07 2018 at 19:49)</a>:</h4>
<p>filed <a href="https://github.com/rust-lang/rust/issues/53171" target="_blank" title="https://github.com/rust-lang/rust/issues/53171">https://github.com/rust-lang/rust/issues/53171</a></p>



<a name="131065226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065226">(Aug 07 2018 at 19:50)</a>:</h4>
<p>I guess the way to handle getting compiler to use NLL is just to go start adding it to crates and see what happens?</p>



<a name="131065284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065284">(Aug 07 2018 at 19:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> you did some of that before, right?</p>



<a name="131065377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065377">(Aug 07 2018 at 19:52)</a>:</h4>
<p>depending on the case and whether the deps built I was either usIng the cargo check -Z or rustflags (this phone capitalizes like the spongebob meme)</p>



<a name="131065378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065378">(Aug 07 2018 at 19:52)</a>:</h4>
<p>I will file an issue with a checklist of crates</p>



<a name="131065406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065406">(Aug 07 2018 at 19:53)</a>:</h4>
<p>filed <a href="https://github.com/rust-lang/rust/issues/53172" target="_blank" title="https://github.com/rust-lang/rust/issues/53172">https://github.com/rust-lang/rust/issues/53172</a></p>



<a name="131065419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065419">(Aug 07 2018 at 19:54)</a>:</h4>
<p>anyway I've also got some perf ideas</p>



<a name="131065459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065459">(Aug 07 2018 at 19:54)</a>:</h4>
<p>what I wanted to do but didn't yet do, but prob will now</p>



<a name="131065462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065462">(Aug 07 2018 at 19:54)</a>:</h4>
<p>is to do some more measurements</p>



<a name="131065465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065465">(Aug 07 2018 at 19:54)</a>:</h4>
<p>and try to see what they suggest</p>



<a name="131065469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065469">(Aug 07 2018 at 19:54)</a>:</h4>
<p>now that I am back home in Boston and have my linux machine up and going again</p>



<a name="131065477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065477">(Aug 07 2018 at 19:54)</a>:</h4>
<p>( the problem, in case you are curious: the tp-link ethernet adapter had mysteriously failed &gt;:( and needed to be reset )</p>



<a name="131065506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065506">(Aug 07 2018 at 19:55)</a>:</h4>
<p>(deleted)</p>



<a name="131065522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065522">(Aug 07 2018 at 19:55)</a>:</h4>
<p>I guess a question is, what do people think about "diagnostic improvements"?</p>



<a name="131065534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065534">(Aug 07 2018 at 19:55)</a>:</h4>
<p>like, how much to focus on them, is the list that is currently there good?</p>



<a name="131065541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065541">(Aug 07 2018 at 19:55)</a>:</h4>
<p>I think we're doing pretty well, I'm slowly working through the list that <span class="user-mention" data-user-id="116083">@pnkfelix</span> put together.</p>



<a name="131065579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065579">(Aug 07 2018 at 19:56)</a>:</h4>
<p>there is also one major "elephant in the room", which is user type annotations</p>



<a name="131065583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065583">(Aug 07 2018 at 19:56)</a>:</h4>
<p>yeah, I agree</p>



<a name="131065587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065587">(Aug 07 2018 at 19:56)</a>:</h4>
<p>my sense is that it is worth it to just keep pushing on those</p>



<a name="131065595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065595">(Aug 07 2018 at 19:56)</a>:</h4>
<p>it will make a huge difference, I think, to how people perceive the result</p>



<a name="131065606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065606">(Aug 07 2018 at 19:56)</a>:</h4>
<p>but not at the cost of all these other things of course :)</p>



<a name="131065609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065609">(Aug 07 2018 at 19:56)</a>:</h4>
<p>Yeah, it's the "user interface" of NLL to some degree.</p>



<a name="131065617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065617">(Aug 07 2018 at 19:56)</a>:</h4>
<p>one thing I wanted to do that I haven't had time for</p>



<a name="131065621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065621">(Aug 07 2018 at 19:56)</a>:</h4>
<p>is just to do an overall review of the language we use</p>



<a name="131065626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065626">(Aug 07 2018 at 19:56)</a>:</h4>
<p>and check for consistency etc</p>



<a name="131065629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065629">(Aug 07 2018 at 19:57)</a>:</h4>
<p>but that is kind of independent from NLL</p>



<a name="131065646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065646">(Aug 07 2018 at 19:57)</a>:</h4>
<p>it's just something I've been wanting to do for some time — I feel that the borrowck uses a lot of jargon sometimes</p>



<a name="131065655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065655">(Aug 07 2018 at 19:57)</a>:</h4>
<p>anyway, it's fine, I think we should keep those issues open, esp. the <span class="user-mention" data-user-id="116083">@pnkfelix</span> check list (which is awesome) but we shouldn't have everybody just doing diagnostics :)</p>



<a name="131065665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065665">(Aug 07 2018 at 19:57)</a>:</h4>
<p>Unless I'm missing something, it doesn't seem like there are that many soundness/correctness issues remaining. It's mostly continual improvements in diagnostics and perf.</p>



<a name="131065729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065729">(Aug 07 2018 at 19:58)</a>:</h4>
<p>I think that's right</p>



<a name="131065735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065735">(Aug 07 2018 at 19:58)</a>:</h4>
<p>with exception of the user type annotations thing</p>



<a name="131065741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065741">(Aug 07 2018 at 19:58)</a>:</h4>
<p>I may try to focus on that</p>



<a name="131065750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065750">(Aug 07 2018 at 19:58)</a>:</h4>
<p>or at least part of it</p>



<a name="131065757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065757">(Aug 07 2018 at 19:58)</a>:</h4>
<p>Yeah. I can spend some time on that as well if there are parts of it that can be delegated.</p>



<a name="131065760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065760">(Aug 07 2018 at 19:58)</a>:</h4>
<p>I'll try to see whatI can do about breaking it up</p>



<a name="131065777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065777">(Aug 07 2018 at 19:59)</a>:</h4>
<p>I want to look a bit at the "first half", which I've not thought about much at all — how to identify where user-given annotations are</p>



<a name="131065783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065783">(Aug 07 2018 at 19:59)</a>:</h4>
<p>e.g. for stuff like <code>foo.bar::&lt;T&gt;(...)</code></p>



<a name="131065786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065786">(Aug 07 2018 at 19:59)</a>:</h4>
<p>right now we don't have an easy way to intercept those</p>



<a name="131065798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065798">(Aug 07 2018 at 19:59)</a>:</h4>
<p>ok doke, I guess that's it</p>



<a name="131065799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065799">(Aug 07 2018 at 19:59)</a>:</h4>
<p>The other half was stuff like destructuring the more complex types IIRC?</p>



<a name="131065806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065806">(Aug 07 2018 at 19:59)</a>:</h4>
<p>yeah, that might be something delegatable</p>



<a name="131065816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065816">(Aug 07 2018 at 20:00)</a>:</h4>
<p>e.g., stuff like <code>let (x, y);</code></p>



<a name="131065856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065856">(Aug 07 2018 at 20:00)</a>:</h4>
<p>which builds on the work you already did I expect</p>



<a name="131065871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065871">(Aug 07 2018 at 20:00)</a>:</h4>
<p>I think that's basically going to be a different mechanism from the one we use for substitutions</p>



<a name="131065876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065876">(Aug 07 2018 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> had some work done on that which might be salvagable.</p>



<a name="131065878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065878">(Aug 07 2018 at 20:00)</a>:</h4>
<p>yes</p>



<a name="131065880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065880">(Aug 07 2018 at 20:00)</a>:</h4>
<p>I've not looked at it</p>



<a name="131065886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065886">(Aug 07 2018 at 20:00)</a>:</h4>
<p>I've not really thought of a better way</p>



<a name="131065895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065895">(Aug 07 2018 at 20:01)</a>:</h4>
<p>than having <code>UserAssertTy</code></p>



<a name="131065905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065905">(Aug 07 2018 at 20:01)</a>:</h4>
<p>have some kind of pattern-like thing</p>



<a name="131065909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065909">(Aug 07 2018 at 20:01)</a>:</h4>
<p>instead of just a simple variable</p>



<a name="131065913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065913">(Aug 07 2018 at 20:01)</a>:</h4>
<p>I was hoping to come up with something clever :)</p>



<a name="131065915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065915">(Aug 07 2018 at 20:01)</a>:</h4>
<p>but it seems like that is actually not very hard</p>



<a name="131065920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065920">(Aug 07 2018 at 20:01)</a>:</h4>
<p>well, maybe</p>



<a name="131065927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065927">(Aug 07 2018 at 20:01)</a>:</h4>
<p>there is an interesting question actually</p>



<a name="131065954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065954">(Aug 07 2018 at 20:02)</a>:</h4>
<p>if you have e.g.</p>



<a name="131065977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065977">(Aug 07 2018 at 20:02)</a>:</h4>
<div class="codehilite"><pre><span></span>let x: &amp;&#39;static u32;

x = &amp;22;
</pre></div>



<a name="131065982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065982">(Aug 07 2018 at 20:02)</a>:</h4>
<p>is that annotation meaningful .. at all?</p>



<a name="131065984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065984">(Aug 07 2018 at 20:02)</a>:</h4>
<p>in particular, with the liveness rules</p>



<a name="131065985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065985">(Aug 07 2018 at 20:02)</a>:</h4>
<p>if you had</p>



<a name="131065991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131065991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131065991">(Aug 07 2018 at 20:02)</a>:</h4>
<div class="codehilite"><pre><span></span><span class="kd">let</span><span class="w"> </span><span class="k">mut</span><span class="w"> </span><span class="n">x</span>: <span class="kp">&amp;</span><span class="nb">&#39;static</span><span class="w"> </span><span class="kt">u32</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">&amp;</span><span class="mi">22</span><span class="p">;</span><span class="w"></span>

<span class="p">...</span><span class="w"></span>

<span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">&amp;</span><span class="mi">44</span><span class="p">;</span><span class="w"> </span><span class="c1">//</span>
</pre></div>



<a name="131066000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066000">(Aug 07 2018 at 20:03)</a>:</h4>
<p>then the second <code>x = &amp;44</code> is in some sense a kind of "different type"</p>



<a name="131066005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066005">(Aug 07 2018 at 20:03)</a>:</h4>
<p>well, that's a bad example</p>



<a name="131066072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066072">(Aug 07 2018 at 20:04)</a>:</h4>
<p>well, nm</p>



<a name="131066075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066075">(Aug 07 2018 at 20:04)</a>:</h4>
<p>the current system is a bit .. mixed here</p>



<a name="131066082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066082">(Aug 07 2018 at 20:04)</a>:</h4>
<p>in polonius though if you overwrite the whole variable <code>x</code> with a new value</p>



<a name="131066086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066086">(Aug 07 2018 at 20:04)</a>:</h4>
<p>then the previous value woudl be completely forgotten</p>



<a name="131066089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066089">(Aug 07 2018 at 20:05)</a>:</h4>
<p>so e.g. in that example above</p>



<a name="131066102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066102">(Aug 07 2018 at 20:05)</a>:</h4>
<p>the second value (<code>&amp;44</code>) assigned to <code>x</code> would not be required to have <code>'static</code> lifetime</p>



<a name="131066107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066107">(Aug 07 2018 at 20:05)</a>:</h4>
<p>at least, unless we add some special rule (which actually exists today) to force it to be the case</p>



<a name="131066110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066110">(Aug 07 2018 at 20:05)</a>:</h4>
<p>...anyway, I'm rambling</p>



<a name="131066169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066169">(Aug 07 2018 at 20:06)</a>:</h4>
<p>shall we call it?</p>



<a name="131066173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066173">(Aug 07 2018 at 20:06)</a>:</h4>
<p>I'm going to post an update to internals I think and tweet afresh to try and get some new blood :)</p>



<a name="131066181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066181">(Aug 07 2018 at 20:06)</a>:</h4>
<p>Another successful meeting.</p>



<a name="131066721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131066721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131066721">(Aug 07 2018 at 20:18)</a>:</h4>
<p>oh, something else I wanted to bring up:</p>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> <a href="https://github.com/rust-lang/rust/issues/43234#issuecomment-410260951" target="_blank" title="https://github.com/rust-lang/rust/issues/43234#issuecomment-410260951">moved to "stabilize" NLL</a> on the main tracking issue <a href="https://github.com/rust-lang/rust/issues/43234" target="_blank" title="https://github.com/rust-lang/rust/issues/43234">#43234</a>. I've raised a few points there about minor things that I would like to confirm before we do so. But in any case please do go and take a look.</p>



<a name="131071898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131071898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131071898">(Aug 07 2018 at 22:02)</a>:</h4>
<p>hmm something else that just occurred to me: it's really in our interest to migrate all compile-fail tests to ui tests</p>



<a name="131072063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20August%207/near/131072063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20August.207.html#131072063">(Aug 07 2018 at 22:06)</a>:</h4>
<p>right now I think we are just not checking that NLL and non-NLL behave consistently for those tests?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>